The blind bandit -- Zuko alone -- The chase -- Bitter work -- The library.

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

A family of objections to theism aims to show that certain key theological doctrines, when held in conjunction, are incompatible. The longstanding problem of divine foreknowledge and human freedom represents one such objection. In this essay, we provide the theist an epistemic approach to the problem that allows for the rational affirmation of both divine foreknowledge and human freedom despite their prima facie incompatibility. Specifically, we apply James Anderson’s Rational Affirmation of Paradox Theology model to the problem, arguing that the (...) theist can stave off defeat that arises from a belief in the conjunction of both doctrines by appealing to paradox. In order to establish this thesis, we first define key terms as well as lay out the theological fatalist argument. Next, we explicate Anderson’s model and apply it to the foreknowledge and freedom problem. We conclude by addressing the objection that an appeal to paradox is simply special pleading for the theist, arguing that the naturalist can be found in a similar epistemic position. (shrink)

Anger has traditionally been associated with aggression and antagonistic behavior. A series of studies revealed that experiences of third-party anger can also lead to prosocial behavior. More specifically, three studies, hypothetical scenarios as well as a behavioral study, revealed that third-party anger can promote compensation of the victim. The results also showed a preference for such prosocial behaviors over antagonistic behaviors. We conclude that behaviors stemming from anger, whether antagonistic or prosocial, are reactions to inequity, albeit determined by the constraints (...) of the situation. (shrink)

Initially, you judge that p. You then learn that most experts disagree. All things considered, you believe that the experts are probably right. Still, p continues to seem right to you, in some sense. You don’t yet see what, if anything, is wrong with your original reasoning. In such a case, we’ll say that you are ‘inclined’ toward p. This paper explores various roles that this state of inclination can play, both within epistemology and more broadly. Specifically, it will be (...) argued that: (i) inclinations can promote the accuracy of inquiring groups; (ii) they can support rational participation within philosophy despite pervasive disagreement; (iii) they allow us to make sense of an important way in which two people can continue to disagree even after they ‘conciliate’; (iv) inclinations carry information about individuals’ independent judgments and for this reason must be accounted for when updating on the opinions of others; (v) inclinations are connected to understanding in a way that belief is not; (vi) and awareness of the inclination-belief distinction enables us to respond to a provocative challenge purporting to show that critical thinking, or ‘thinking for oneself’, typically reduces expected accuracy and hence should be discouraged. (shrink)

Ng :255–285, 1995. https://doi.org/10.1007/bf00852469) models the evolutionary dynamics underlying the existence of suffering and enjoyment and concludes that there is likely to be more suffering than enjoyment in nature. In this paper, we find an error in Ng’s model that, when fixed, negates the original conclusion. Instead, the model offers only ambiguity as to whether suffering or enjoyment predominates in nature. We illustrate the dynamics around suffering and enjoyment with the most plausible parameters. In our illustration, we find surprising results: (...) the rate of failure to reproduce can improve or worsen average welfare depending on other characteristics of a species. Our illustration suggests that for organisms with more intense conscious experiences, the balance of enjoyment and suffering may lean more toward suffering. We offer some suggestions for empirical study of wild animal welfare. We conclude by noting that recent writings on wild animal welfare should be revised based on this correction to have a somewhat less pessimistic view of nature. (shrink)

Logical paradoxes – like the Liar, Russell's, and the Sorites – are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this book, Zach Weber uses “dialetheic paraconsistency” – a formal framework where some contradictions can be true without absurdity – as the basis for developing this idea rigorously, from mathematical foundations up. In doing so, Weber (...) directly addresses a longstanding open question: how much standard mathematics can paraconsistency capture? The guiding focus is on a more basic question, of why there are paradoxes. Details underscore a simple philosophical claim: that paradoxes are found in the ordinary, and that is what makes them so extraordinary. (shrink)

The author responds to a letter by D. Brendan Johnson in the July‐August 2023 issue of the Hastings Center Report concerning his and Joseph Clair's article “Love Your Patient as Yourself: On Reviving the Broken Heart of American Medical Ethics.”.

Tyler Burge presents an original study of the most primitive ways in which individuals represent the physical world. By reflecting on the science of perception and related psychological and biological sciences, he gives an account of constitutive conditions for perceiving the physical world, and thus aims to locate origins of representational mind.

This paper begins an axiomatic development of naive set theoryin a paraconsistent logic. Results divide into two sorts. There is classical recapture, where the main theorems of ordinal and Peano arithmetic are proved, showing that naive set theory can provide a foundation for standard mathematics. Then there are major extensions, including proofs of the famous paradoxes and the axiom of choice (in the form of the well-ordering principle). At the end I indicate how later developments of cardinal numbers will lead (...) to Cantor’s theorem, the existence of large cardinals, and a counterexample to the continuum hypothesis. (shrink)

Six people are in trouble. We can save five of them or just the sixth. What should we do? John Taurek (1977) defends a radical view: We are not required to save the greater number. Taurek's paper has persuaded some. But even the unpersuaded agree that Taurek poses a deep and important challenge: From where does the priority of the many derive? It seems difficult, or even impossible, to convince someone who denies the importance of the numbers... to care about (...) the numbers. That’s what this paper aims to do. It will argue that the priority of the many follows, with minimal other assumptions, from something all should accept: the modest premise that if we can improve one person's chance of survival—without affecting anyone else—we should. (shrink)

A world is trivial if it makes every proposition true all at once. Such a world is impossible, an absurdity. Our world, we hope, is not an absurdity. It is important, nevertheless, for semantic and metaphysical theories that we be able to reason cogently about absurdities—if only to see that they are absurd. In this note we describe methods for ‘observing’ absurd objects like the trivial world without falling in to incoherence, using some basic techniques from modal logic. The goal (...) is to begin to locate the trivial world’s relative position in modal space; the outcome is that the less we assume about relative possibility, the more detail we can discern at the edge of reason. (shrink)

Research ethics education in the biosciences has not historically been a priority for research universities despite the fact that funding agencies, government regulators, and the parties involved in the research enterprise agree that it ought to be. The confluence of a number of factors, including scrutiny and regulation due to increased public awareness of the impact of basic research on society, increased public and private funding, increased diversity and collaboration among researchers, the impressive success and speed of research advances, and (...) high-profile cases of misconduct, have made it necessary to reexamine how the bioscience research community at all levels provides ethics education to its own. We discuss the need to and reasons for making ethics integral to the education of bioscientists, approaches to achieving this goal, challenges this goal presents, and responses to those challenges. (shrink)

This Element provides an opinionated introduction to the metaphysics of laws of nature. The first section distinguishes between scientific and philosophical questions about laws and describes some criteria for a philosophical account of laws. Subsequent sections explore the leading philosophical theories in detail, reviewing the most influential arguments in the literature. The final few sections assess the state of the field and suggest avenues for future research.

Prevailing opinion—defended by Jason Brennan and others—is that voting to change the outcome is irrational, since although the payoffs of tipping an election can be quite large, the probability of doing so is extraordinarily small. This paper argues that prevailing opinion is incorrect. Voting is shown to be rational so long as two conditions are satisfied: First, the average social benefit of electing the better candidate must be at least twice as great as the individual cost of voting, and second, (...) the chance of casting the decisive vote must be at least 1/N, where N stands for the number of citizens. It is argued that both of these conditions are often true in the real world. (shrink)

I exploit parallel considerations in the philosophy of mind and metaethics to argue that the reasoning employed in an important argument for panpsychism overgeneralizes to support an analogous position in metaethics: panmoralism. Next, I raise a number of problems for panmoralism and thereby build a case for taking the metaethical parallel to be a reductio ad absurdum of the argument for panpsychism. Finally, I contrast panmoralism with a position recently defended by Einar Duenger Bohn and argue that the two suffer (...) from similar problems. I conclude by drawing some general lessons for panpsychism. (shrink)

In this book, Zach Kelehear offers readers a new perspective on an important, dynamic, and sometimes daunting issue: managing successful school-based leadership. The author uses an arts-based approach to weave together notions of research-based leadership skills for successful school-based management with standards of professional competence as represented by the Interstate School Leaders Licensure Consortium Standards for School Leaders.

Peer learning partnerships are voluntary, reciprocal helping relationships between individuals of comparable status, who share a common or closely related learning / development objective. These dyadic or small group partnerships often occur incidentally or are confused with mentoring; hence they are easily overlooked and / or misunderstood. Yet they warrant the attention of professional developers,classroom teachers, and others as an intentionallearning strategy because of their potential to foster bi-directional learning through joint reflection.Using her qualitative case study of peer learning partnerships (...) in an innovative statewide community college faculty development initiative - the “Teaching Partners Program” - the author draws on participants’ first-hand perceptions of this alternative modality to demonstrate how it fosters reflective practice, leading to enhanced discovery and professional development. The study’s findings highlight the benefits of using peer learning partnerships to promote reflective practice, as well as barriers to utilization. Recommendations for applying this approach and for future research are provided. (shrink)

This essay examines the anti-producing human body in its limit case of public self-induced starvation, as figured in Franz Kafka's short story ‘A Hunger Artist’ and Steve McQueen's film Hunger. Both works represent the fasting body as hollowed out, a resistance to capitalist-spectator capture that spatialises itself as a smoothing, a relative reconfiguration of parts to whole through the evacuation of flows. In both works the human body becomes a local body without organs, paradoxically disarticulated from the more complex assemblages (...) that constitute it while recording potential circuits of disturbance or resonance predicated upon the porousness of bodily boundaries. (shrink)

This thesis divides naturally into two parts, each concerned with the extent to which the theory of $L$ can be changed by forcing.The first part focuses primarily on applying generic-absoluteness principles to how that definable sets of reals enjoy regularity properties. The work in Part I is joint with Itay Neeman and is adapted from our paper Happy and mad families in $L$, JSL, 2018. The project was motivated by questions about mad families, maximal families of infinite subsets of $\omega (...) $ of which any two have only finitely many members in common. We begin, in the spirit of Mathias, by establishing a strong Ramsey property for sets of reals in the Solovay model, giving a new proof of Törnquist’s theorem that there are no infinite mad families in the Solovay model.In Chapter 3 we stray from the main line of inquiry to briefly study a game-theoretic characterization of filters with the Baire Property.Neeman and Zapletal showed, assuming roughly the existence of a proper class of Woodin cardinals, that the boldface theory of $L$ cannot be changed by proper forcing. They call their result the Embedding Theorem, because they conclude that in fact there is an elementary embedding from the $L$ of the ground model to that of the proper forcing extension. With a view toward analyzing mad families under $\mathsf {AD}^+$ and in $L$ under large-cardinal hypotheses, in Chapter 4 we establish triangular versions of the Embedding Theorem. These are enough for us to use Mathias’s methods to show that there are no infinite mad families in $L$ under large cardinals and that $\mathsf {AD}^+$ implies that there are no infinite mad families. These are again corollaries of theorems about strong Ramsey properties under large-cardinal assumptions and $\mathsf {AD}^+$, respectively. Our first theorem improves the large-cardinal assumption under which Todorcevic established the nonexistence of infinite mad families in $L$. Part I concludes with Chapter 5, a short list of open questions.In the second part of the thesis, we undertake a finer analysis of the Embedding Theorem and its consistency strength. Schindler found that the the Embedding Theorem is consistent relative to much weaker assumptions than the existence of Woodin cardinals. He defined remarkable cardinals, which can exist even in L, and showed that the Embedding Theorem is equiconsistent with the existence of a remarkable cardinal. His theorem resembles a theorem of Harrington–Shelah and Kunen from the 1980s: the absoluteness of the theory of $L$ to ccc forcing extensions is equiconsistent with a weakly compact cardinal. Joint with Itay Neeman, we improve Schindler’s theorem by showing that absoluteness for $\sigma $ -closed $\ast $ ccc posets—instead of the larger class of proper posets—implies the remarkability of $\aleph _1^V$ in L. This requires a fundamental change in the proof, since Schindler’s lower-bound argument uses Jensen’s reshaping forcing, which, though proper, need not be $\sigma $ -closed $\ast $ ccc in that context. Our proof bears more resemblance to that of Harrington–Shelah than to Schindler’s.The proof of Theorem 6.2 splits naturally into two arguments. In Chapter 7 we extend the Harrington–Shelah method of coding reals into a specializing function to allow for trees with uncountable levels that may not belong to L. This culminates in Theorem 7.4, which asserts that if there are $X\subseteq \omega _1$ and a tree $T\subseteq \omega _1$ of height $\omega _1$ such that X is codable along T, then $L$ -absoluteness for ccc posets must fail.We complete the argument in Chapter 8, where we show that if in any $\sigma $ -closed extension of V there is no $X\subseteq \omega _1$ codable along a tree T, then $\aleph _1^V$ must be remarkable in L.In Chapter 9 we review Schindler’s proof of generic absoluteness from a remarkable cardinal to show that the argument gives a level-by-level upper bound: a strongly $\lambda ^+$ -remarkable cardinal is enough to get $L$ -absoluteness for $\lambda $ -linked proper posets.Chapter 10 is devoted to partially reversing the level-by-level upper bound of Chapter 9. Adapting the methods of Neeman, Hierarchies of forcing axioms II, we are able to show that $L$ -absoluteness for $\left |\mathbf {R}\right |\cdot \left |\lambda \right |$ -linked posets implies that the interval $[\aleph _1^V,\lambda ]$ is $\Sigma ^2_1$ -remarkable in L.prepared by Zach Norwood.E-mail: [email protected]. (shrink)

In The Consistency of Arithmetic and elsewhere, Meyer claims to “repeal” Goedel’s second incompleteness theorem. In this paper, I review his argument, and then consider two ways of understanding it: from the perspective of mathematical pluralism and monism, respectively. Is relevant arithmetic just another legitimate practice among many, or is it a rival of its classical counterpart—a corrective to Goedel, setting us back on the path to the (One) True Arithmetic? To help answer, I sketch a few worked examples from (...) relevant mathematics, to see what a non-classical (re)formulation of mathematics might look like in practice. I conclude that, while it is unlikely that relevant arithmetic describes past and present mathematical practice, and so might be most acceptable as a pluralist enterprise, it may yet prescribe a more monistic future venture. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

This paper considers a generalisation of the sorites paradox, in which only topological notions are employed. We argue that by increasing the level of abstraction in this way, we see the sorites paradox in a new, more revealing light—a light that forces attention on cut-off points of vague predicates. The generalised sorites paradox presented here also gives rise to a new, more tractable definition of vagueness.

To date, B&S researchers have pursued their normative aims through strategic and moral arguments that are limited because they adopt a rational actor behavioral model and firm-level focus. I argue that it would be beneficial for B&S scholars to pursue alternate approaches based on critical realism (CR) and neoinstitutional theory (IT). Such a shift would have a number of benefits. For one, CR and IT recognize the complex roots of firm behavior and provide tools for its investigation. Both approaches also (...) note the importance of social context and IT, in particular, points to tangible sites where changes in (and outcomes of) corporate practices can be assessed. CR also has an emancipatory ethos which harkens a role for scholars in social change, while IT provides mechanisms to ground this ethos in tangible activities that go beyond appealing to managers’ strategic or moral sensibilities. (shrink)

After a brief flirtation with logicism around 1917, David Hilbertproposed his own program in the foundations of mathematics in 1920 and developed it, in concert with collaborators such as Paul Bernays andWilhelm Ackermann, throughout the 1920s. The two technical pillars of the project were the development of axiomatic systems for everstronger and more comprehensive areas of mathematics, and finitisticproofs of consistency of these systems. Early advances in these areaswere made by Hilbert (and Bernays) in a series of lecture courses atthe (...) University of Göttingen between 1917 and 1923, and notably in Ackermann's dissertation of 1924. The main innovation was theinvention of the -calculus, on which Hilbert's axiom systemswere based, and the development of the -substitution methodas a basis for consistency proofs. The paper traces the developmentof the ``simultaneous development of logic and mathematics'' throughthe -notation and provides an analysis of Ackermann'sconsistency proofs for primitive recursive arithmetic and for thefirst comprehensive mathematical system, the latter using thesubstitution method. It is striking that these proofs use transfiniteinduction not dissimilar to that used in Gentzen's later consistencyproof as well as non-primitive recursive definitions, and that thesemethods were accepted as finitistic at the time. (shrink)

Cognition Through Understanding presents a selection of Tyler Burge's essays that use epistemology to illumine powers of mind. The essays focus on epistemic warrants that differ from those warrants commonly discussed in epistemology--those for ordinary empirical beliefs and for logical and mathematical beliefs. The essays center on four types of cognition warranted through understanding--self-knowledge, interlocution, reasoning, and reflection. Burge argues that by reflecting on warrants for these types of cognition, one better understands cognitive powers that are distinctive of persons, (...) and of human beings. The collection presents three previously unpublished independent essays, in addition to substantial, retrospective commentary. The retrospective commentary invites the reader to make connections that were not fully in mind when the essays were written. (shrink)

What should a person do when, through no fault of her own, she ends up believing a false moral theory? Some suggest that she should act against what the false theory recommends; others argue that she should follow her rationally held moral beliefs. While the former view better accords with intuitions about cases, the latter one seems to enjoy a critical advantage: It seems better able to render moral requirements ‘followable’ or ‘action-guiding.’ But this tempting thought proves difficult to justify. (...) Indeed, whether it can be justified turns out to depend importantly on the rational status of epistemic akrasia. Furthermore, it can be argued, from premises all parties to the moral ignorance debate should accept, that rational epistemic akrasia is possible. If the argument proves successful, it follows that a person should sometimes act against her rationally held moral convictions. (shrink)

ABSTRACT:Workplace transgressions elicit a variety of opinions about their meaning and what is required to address them. This diversity in views makes it difficult for managers to identify a mutually satisfactory response and to enable repair of the relationships between the affected parties. We develop a conceptual model for understanding how to bridge these diverging perspectives and foster relationship repair. Specifically, we argue that effective relationship repair is dependent on the parties’ reciprocal concern for others’ viewpoints and collective engagement in (...) the justice repair process. This approach enhances our understanding of the interdependency between justice and reconciliation/reintegration, while also providing theoretical insight into the processes underlying restorative conferencing, innovations that promise to help managers heal damaged organizational bonds. (shrink)

Medieval Jewish philosophers have been studied extensively by modern scholars, but even though their philosophical thinking was often shaped by their interpretation of the Bible, relatively little attention has been paid to them as biblical interpreters. In this study, Robert Eisen breaks new ground by analyzing how six medieval Jewish philosophers approached the Book of Job. These thinkers covered are Saadiah Gaon, Moses Maimonides, Samuel ibn Tibbon, Zerahiah Hen, Gersonides, and Simon ben Zemah Duran. Eisen explores each philosopher's (...) reading of Job on three levels: its relationship to interpretations of Job by previous Jewish philosophers, the way in which it grapples with the major difficulties in the text, and its interaction with the author's systematic philosophical thought. Eisen also examines the resonance between the readings of Job of medieval Jewish philosophers and those of modern biblical scholars. What emerges is a portrait of a school of Joban interpretation that was creative, original, and at times surprisingly radical. Eisen thus demonstrates that medieval Jewish philosophers were serious exegetes whom scholars cannot afford to ignore. By bringing a previously-overlooked aspect of these thinkers' work to light, Eisen adds new depth to our knowledge of both Jewish philosophy and biblical interpretation. (shrink)

In Perception: First Form of Mind, Tyler Burge develops an understanding of the most primitive type of representational mind: perception. Focusing on its form, function, and underlying capacities, as indicated in the sciences of perception, Burge provides an account of the representational content and formal representational structure of perceptual states, and develops a formal semantics for them. The account is elaborated by an explanation of how the representational form is embedded in an iconic format. These structures are then situated (...) in current theoretical accounts of the processing of perceptual representations, with an emphasis on the formation of perceptual categorizations. An exploration of the relationship between perception and other primitive capacities-conation, attention, memory, anticipation, affect, learning, and imagining-clarifies the distinction between perceiving, with its associated capacities, and thinking, with its associated capacities. Drawing on a broad range of historical and contemporary research, rather than relying on introspection or ordinary talk about perception, Perception: First Form of Mind is a scientifically rigorous and agenda-setting work in the philosophy of perception and the philosophy of science. (shrink)

ABSTRACTDo truth tables—the ordinary sort that we use in teaching and explaining basic propositional logic—require an assumption of consistency for their construction? In this essay we show that truth tables can be built in a consistency-independent paraconsistent setting, without any appeal to classical logic. This is evidence for a more general claim—that when we write down the orthodox semantic clauses for a logic, whatever logic we presuppose in the background will be the logic that appears in the foreground. Rather than (...) any one logic being privileged, then, on this count partisans across the logical spectrum are in relatively similar dialectical positions. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)